Nuprl Definition : eclseq
0,22
postcript
pdf
eclseq(
a
;
b
) == inr(inl(<
a
,
b
>))
latex
Definitions
inr(
x
)
,
inl(
x
)
,
<
a
,
b
>
FDL editor aliases
eclseq, eclseq
origin